Fix one lazy evaluation bug