one more tiny bug fix