Fix bug in uuid::to_string()