Merge pull request #7580 from seanlis:wrong_diag_comment
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Sat, 29 Oct 2016 21:30:26 +0000 (21:30 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Sat, 29 Oct 2016 21:30:26 +0000 (21:30 +0000)

Trivial merge