very minor bug fix