Fix up example after bitrot