Minor fixes (removing trailing whitespace and adding missing semicolon)