clarify ex 9.4, close #590