git-submodule.sh: fix filename in comment.