Update config.h

cosmetics