make travis happy... ;)