fix format string mistake

sys_echo had a format string issue, fix that and make sure it won't happen in the future