Fix the ';'