travis fix #4