Making Travis-CI happy