trivial: Fix Trojita example patch