Added a comment: another example