Minor fix to prevent coveralls.io problems from failing builds.