Tiny fixes to comments