fix socrates.coffee