coding guidelines: space after comma