Minor rework of PronterOptions