Fix minor bug in printing hash