using isset($CHARSET) for consistency (and probably other reasons)