Fixing use of :option: for new sphinx

The version of sphinx has been updated on jenkins, breaking the docs because we don't use `:option:` as it wants. This should make the build green again.