Minor modification of hilb doc