Fix up Barry's markup, which didn't pass the latex test.  ;-)
1 file changed