fix misprint in src/config.h