remove spurious ;