some small fixes to typed-channels.rst