Fix spec to discuss imported include decls