They are not supposed to be pointers...
Added an ugly workaround...