Revised example