Fix wrong class name in ColoredAlligator