small fixup on config reading