Character parsing (for #12).