Bugfix: forgotten line