Bugfix for stderr