Fix documentation for #2419

5 jobs for v2.0 in 11 minutes and 53 seconds (queued for 7 seconds)