fix diml/utop#81