fix formatting weirdness