Fix 'unproven' template