BUG: There is a bug somewhere in bellman.main or its children that causes the 2nd parameterization to fail