Fix formatting (hopefully)