Fixing choreography.sql file