fix https://github.com/mn200/HOL/issues/108