Bugfix in example listing