istream.ws: some mods