Correcting some bugs in OpenBSD