Bugfix

Fixes bug in instantiating dummy flag