documentation update, minor fixes