Prevent a spurious coverage error.