Small bug in example description