revert last change to make travis happy again