a minor bug