fixed a bug in the key schedule of belt-192