fix ReST formatting of options section