Bugfix - was only providing the location span for the header of a namespace or module. Also made a typo in the formatting of a location span.
Merge divergent heads.