another typo/bugfix for equality constant evaluation