another typo/bugfix for equality constant evaluation
Merge branch 'master' into bv-core