A bug fix.