Reformat some hashdb code