Minor update on EDE code formatting