Fixing DP interpreter bug