Fix crazy-pants match in Option docs