Minor tweaks to KDF article