dehop: eliminate warning about non-exhaustive case