Tiny bug fix.