Update comment in docs. Fixes #1807.