fix subtle laziness issue