Fixed formatting; prevented duplicates in RB tree