fix formatting bugs