Ah, that. Yes. Lot of people have emailed me about it before.
I've kept the OK button:
1 - because I'm too dumb to figure out how to remove it
2 - from a security point of view, it's a nice red herring if the device is actually lost
3 - OK is still required when setting and confirming the PIN