Preferences widget documentation tweak