Fix documentation typo related to issue #356