[!308] Bugfix/potential fix

Merge branch 'bugfix/potential-fix' into 'master'

ref:extensions/dune-codegen This fixes [#144]

See merge request [extensions/dune-codegen!308]

  [#144]: gitlab.dune-project.org/NoneNone/issues/144
  [extensions/dune-codegen!308]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/308


Closes #144