Issue #50: minor tweaks involving appearance, option values