Minor corrections to the developer/user guides.