Bugfix

Bugfix
Is this clause meant to be empty?