Remove doubled ; in .c