convert some stray printf()'s