Fix #41 arising from 503 errors from coveralls.io