partial fix to hol-light translation