A little bug fix.