(DISP_CHAR_VECTOR): Adjusted for the change of char