Updated HOL title.