Patch for config.rkt now updated

Line numbers have changed and need to be updated.