Clarify opening example. Fixes #332.