docs: a couple of trivial updates