new bug found, refer to progress.txt