dynprog bugfix