Remove some unnecessary ;