dem_mosaic and doc: Minor tweaks