Minor edits, also we fixed an Ur/Web bug.
Minor edits, also we fixed an Ur/Web bug.

Signed-off-by: Edward Z. Yang <dbd597f5635f432486c5d365e9bb585b3eaa1853@mit.edu>

ezyang/logitext,ezyang/logitext,ezyang/logitext