Remove spurious ;