Bugfix: parameter typing