Fix typos and unclear phrasing in proposal 165.
Merge remote-tracking branch 'karsten/prop165tweaks'