Fix documentation for seq