bugfix in autocompile, and rebuild doc
autocompile bugfix