Quick fix in example