Check for needed dereferencing in cover from types as well. Closes #621