Tiny various fixes
Small docs changes