fix Oliver's screw up of help.html