fix type in echo output