Minor change to fire coveralls.io coverage reporting