bugfix for progtest