make all suggested updates to manual, fixing issue #292