fixing dereferencer spec