manual - repeated word

[Clodoaldo]

In 4.8.1 of the 3.3 manual, last paragraph of the Session class:

"you should instead use the now obsolete session option instead."

The word "instead" is repeated.

Regards,
--
Clodoaldo Pinto Neto