fix nits in Idempotent.v