Minor fix in pgreplay.html