Fix bug in Env; update docs