Fixed the arguments call in config.h, as it had wrong placement