#687: .gitmodules, adjust spacing