Changed warning in herd2lem