Some fixes to building.rst