Tiny improvements; Coveralls added