Fixed an error with the documentation on envi defaults.