Merge pull request #2997 from mojoritty:bugfix_3767
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Fri, 25 Jul 2014 12:39:30 +0000 (12:39 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Fri, 25 Jul 2014 12:39:30 +0000 (12:39 +0000)

Trivial merge