A few minor changes to DEM.html.