Some fixes to the compilation docs.