Minor improvement on UUID generation.