code cleanup: removed some trailing whitespace and added missing ;