Fix HEIGHTENED reference in wfgen.