fixed a dangling formatting issue