lahef.h bug fixes