fix a bug that missed a semi-colon