Code

Fix for helperfns_read_vector (which could go on trying to read numbers for ever...