little changes for final release of user manual