Another tiny bug fix