Follow-on to #2003 - Fix innocuous typo (unneeded semi-colon).