Fix some last formatting (hopefully)