Minor errors in comments