another minor bug fix