typos in ee256.html are fixed