config.h cosmetic fix.