bugfix for coveralls