Bugfix: typing error