minor revision to fix syntax error in coveralls badge