fixing documentation compiling bugs