Minor semi-colon deletion