istream.ws fixes