restAPI GetSlaveNamesInPool / GetSlaveNamesInGroup results

When using these functions, we get some odd results in the slave names. The returned value is a dictionary, where the key is a malformed version of the slave name, the value is the actual slave name. Is this expected? For example:

{u’lapro0000001347’: u’lapro1347’,
u’lapro0000000728’: u’lapro0728’,
u’lapro0000000729’: u’lapro0729’,
u’lapro0000000898’: u’lapro0898’ … }

The keys have a lot of additional zeros in there.

I’m told you found a bug. For now just use the values and we’ll have this fixed up when we can.

Thanks Edwin!