(temporarily) fixing getHeight bug, updating tools