It's really just to keep coverage happy for this PR until #580 is merged.