Minor options UI tweaks.