Minor formatting change to coral_plan.rb.