travis-ci coverage fixes