More Travis fixing...