minor corrections to manuals