Minor updates in comments