removed duplicate ';'