fixed a mistake I introduced in the format string