Minor changes in comments at top of file