Fix hideshow hooking for ledger-mode