A possible bug fix.