Fix #940: Additional pattern-match reverse engineering pattern

And hence, you might as well inline it.