Possible bug in `ReadStr'/`Val'