Two trivial editorial fixes.