[#858] double semicolon