Quick bugfix

Pushed too soon...