Bugfix

Accidental bugfix!