fix htdp examples