(this is a temporary solution, since it would invoke the dereferrer for
things that aren't allowed, which is silly)