* fix a bug in the semantic of the evaluation function