the patches around ok()

[Joris Huizer]

Hello Henri Verbeet, and André Hentschel

I wasn't (actively) on the mailing list, that's why I couldn't reply directly to your messages.
I will try and make sure I have better titles for such patches in future!

Regards,
Joris