fixing git module glitches. no code change