Improve the display of git locations for issue #867.