config.pp: fix