Minor correction in repr