Example which revealed issue #4