Travis build 3825 pushed to master