[#858] Removed gratuitous semicolon