JB: Replaced echo by printf