Added two more dereferencing specs