minor bugfix in progress test