output.txt for previous bugfix