Simple bug fix.