Small fixes to comments