Obligatory style guide: inline comments should have a space between the "//" and the comment