Fix issues and documentation in Ensure.