reducing coverage for travis - there it is lower than locally