Minor bug fix to HashArray.js