Merge pull request #3846 from mshabunin:fix-headers
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 23 Mar 2015 08:01:25 +0000 (08:01 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 23 Mar 2015 08:01:25 +0000 (08:01 +0000)

Trivial merge