Clarified 6.3 concerning iex char list output