Issue #43: Simplifying text of some preferences