A bunch of small unrelated updates.