Minor change in comments