minor: removing a semi-colon