Make the documentation of options more consistent.