Bugfix in parameter passing