Documentation patch for issue #1528