Fix duplicate ;