Minor fix for coveralls.io