Most of the rest of the code in this file uses echo, so I would avoid changing this unless you have a good reason.