am 8eb71d59: Merge change 2428 into donut

Merge commit '8eb71d59e94edf9e0581515ed7db762fc1a49a4e'

* commit '8eb71d59e94edf9e0581515ed7db762fc1a49a4e':
  Fix misleading comment.