Idtac: simplification.

Suggested by Gabriel Scherer.