another tiny bug fix