minor formatting changes because i'm picky