may resolve a bug in uuid generation