don't pollute stdout