minor fixes to Hall for compilation