Addheight now yields roughly a copy of source with ahn height added.