EDA bug-fixes