Bugfix: missing def