Fix formatting problems (hopefully)