add line to spec on dottest.html