This is too slow. We need it faster because #2246 is not yet implemented.