update docs now that Char is not a subtype of Integer