One more eclipse fix