Small fixes to pgpool config