teardown: remove unnecessary semi-colon