Minor rewording in comments