Added <istream>-include