remove some extra semis