remove spurious ```;```