remove missing dfn error, introduces too many problems in too many specs