Add a comment explaining why `to_char` is necessary?