Bugfix: minor bugfix