More minor socrates edits