minor changes, make travis happy