Added documentation for #15363.