Fix spurious 'comment ignored' message in hrpg.