(Very minor improvement in #include error messages.)