Fix a wrongly-added submodule.