Proper HLT handling