quick bugfix for "echo: "