#2350 broke eclipses. Fix this sneaky bug.