Properly mark example

This triggers an ICE otherwise :(

Fixes #19678