Fixes accidentally-caused problem with submodules