Minor change in commenting