#6437: Update documentation