typo
groundwork for hal_file