A bug fix