fa94e3c1b2
While this is not used currently, it is still good for having it covered (it failed when running coverage with all jobs unconditionally).