Bugfix in gitmodules