Changed 'echo' for bash-builtin printf.