I've just been made aware of the r.grow module as part of the solution to the map mis-match issue with r.stream.extract. The r.grow manual page is quite clear on how to use it, but is missing important information: when and why one should apply this module to a raster map. Rich