Possible bug: Cannot have machine named abcd01 and abcd001 at the same time?