Fix a bug in the implement clauses