Fixed a bug when read_symbol() called from read_number().