Fix mistake in SimpleCov post