A few documentation and build changes