Fixing provenance height