fix one formatting issue I introduced