;; Applied patch from TSUCHIYA Masatoshi <tsuchiya@pine.kuee.kyoto-u.ac.jp>.