utility: fix dereference of a pointer