bugfix: missed pointer type