tried to fix myhrvold, an odd name. I'm not at all sure this fix is correct, it's a guess. Feedback welcome.