Louis the Alligator is no more, and neither is Tick Tock The Croc.
Disney World has made some subtle changes since an alligator at one of its resorts attacked and killed a toddler standing in less than six inches of water.
Read: Man Describes 1986 Gator Attack at Disney Resort: 'I Started Kicking The Alligator's Head'
Gone is Tick Tock the Croc from “Peter Pan,” a character in the park’s Festival of Fantasy parade, according to the Miami Herald.
Also missing is Louis, the trumpet-playing alligator from “The Princess and the Frog,” that was supposed to be part of the Friendship Faire castle show, an unnamed employee told the paper.
The Jungle Cruise tour guides no longer joke about crocodiles eating children as they narrate a boat tour through the world’s rivers and the Kilimanjaro Safari ride has dropped references to a crocodile pit.
“We continue to evaluate processes and procedures for our entire property, and, as part of this, we are reinforcing training with our cast for reporting sightings and interactions with wildlife and are expanding our communication to guests on this topic,” Walt Disney World Resort vice president Jacquee Wahler said in a statement last week.
Less-than-subtle changes include new signs and fences along resort beaches warning of alligators and snakes and advising against feeding the wildlife. Such notices were not posted when the remains of 2-year-old Lance Graves were pulled from the Seven Seas Lagoon on June 15, after an alligator snatched him and pulled him underwater.
Watch: Hear The 911 Call Made By A Disney Employee After Toddler Was Snatched By Gator