More tweaks for coveralls