Fix a bug with the coveralls tweaks