A few more "proofreading" corrections