minor proofreading on scholia