Clarified 6.3 concerning iex output of char lists