for #19 coveralls badge