README: trivial updates