Fixing a bug in StringIO declaration