Fix documentation for  options