Bugfix: a pointer is passed here