NOW get_string() handles escape characters

I messed that one up last time