Prior to commit 6195adda9b4306cda2b06b930c59c95832d026a9 the sm->user dereference did not exist here. While this is in practice non-NULL, better use more defensive construction here to avoid NULL pointer dereference should this ever change.