fixing inconsistency problem (adding the docs submodule again)