Fix a no-result corner case, and make verifications clickable