Fix up hidden_checkers

No functional change.