thanks!

fixed in my copy and submitted "upstream" to the authors

(see the beauty of a free-as-in-freedom book? ;-))

Stefano Zacchiroli at 2013-12-10T17:24:49Z

lostson likes this.