Fix error in Travis coverage