settings: fix doctest
settings: fix doctest

Former-commit-id: 80f1d4085ffa82d95d16e2f5e9b5168ab561af91
Former-commit-id: 74c0f1418d2d1b378a541196384d271b0a93637e [formerly ec93c61ef9ccba6f9beec70ab1cfa0399573b469] [formerly a8bca0c42b9b104c321f2b75deb32336e83d49e3 [formerly fbeb6efd216cf37f438edfd5a6fad40028df23c4]]
Former-commit-id: 772028080f55135e6b2abb10eb4b2f38d6f3c31d [formerly 8d72118ee2b6762b491db8a8aee4f0bd2ef62e4d]
Former-commit-id: 0a90e1969c3ea80713d3341a241fbbfd6e3057fe
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild