Fix documentation on options