remove spurious semicolon