Fixed declaration bug in config.h