What else did you have in mind? Firing squad? I don't think this is a "slap on the wrist", the guy got rightfully fucked. Slap on the wrist I'd consider something like 6 months probation, fine, relocation to a position where you don't deal with secrets and timed ban from promotion or a demotion.