output goes into stdout, not stderr