Fixing documentation and other things