remove spurious semi-colon