Avoid double-printing.