Minor code cleanup: missing semicolon