Another tiny bug fix.