Make the doc build with newer Sphinx version (1.3b1)

Looks like newer Sphinx are more strict about the formatting of what's inside a :option: directive.