bugfix for STDIN extension bug