another try to make travis happy