fix formatting error that produced no output