some trivial updates