Remove inadvertent semicolon that came in from PR #145