Fixes and more concise descriptions in option documentation