fix a minor code bug