minor fix in NIST docs