This fixes #7885.  It now correctly decodes localParams.