fix some bad formatting