update manual: safe_char() is deprecated; fix line wrapping