Use printf in preference to echo