Small fixes to commenting