Fix broken implementation example