fix bad formatting