fix two obvious typos in the core_unix.mli comments