Bugs#4237

Trying to run Travis-CI build.