fix autoenv file and update documentation