Travis fix #4