Use printf instead of echo