Minor changes to a comment