Fixed computation of uncompressible height