1cc30df665
by Satoshi Asami ( asami@cs.berkeley.edu ). Fixed also a minor typo problem.
by Satoshi Asami ( asami@cs.berkeley.edu ). Fixed also a minor typo problem.