fixing coverage info for travis