travis code-coverage change.