Bug correction in asenv.conf