Clarify dereference rules