fix bug to make travis happy.