Change font to times

and a trivial spacing edit