Fix documentation #2552