fix to DemoPep.html