Fixed version cited in pasted example