Travis coverage tweak.