Refined some prose and fixed up some math formatting