Bugfix: another typing error