[#3191] Fixing semicolon thanks to @WouterJ