minors changes to make travis happy