fix a minor problem