Removed extra semicolon leftover from recent tweaking.