Fix a bug in uuidgen generation