socrates formatting fixes