Travis fix for pull 729