remove spurious ";"