Tiny fixes and documentation update