use pattern matching to make @johnynek happy