Edits to make user manual consistent with README in AWE repository.