Some code esthetics
Remove unnecessary temporary from Hash.push