Fixed formatting of examples in Key_generation