heightopt: One place forgot to take tolerance into account