a minor bug fix