Bugfix in forgotten file (issue #628)