Updated doc for bug #3423

I saw this bug report so just to clarify in the doc.