Re #7159 Added documentation