Quick update to deal with current happy numbers.