bugfixes (for degree semantics)