fix a typo

Just a minor issue...