tiny fix on example