Double checking, this breaks the eqc, so fixing the spec would been the right way to go.