A bug fix in Open