Tweak coveralls. Small other tweaks