Small change to see what fixes Overdetermination