More explicit example, see comment above.