make read_string actually work