some minor fixes and a documentation update