Removing forgotten merge comments in the coral_core.rb file.