fix a minor issue