Certainly not a mistake - just a simple variant:
《中华字海》页:1420:
#《中华字海》页:1420:
字海:
(You notice how it says 非unicode字 right? So basically that means it's 打不出来的 or cannot be typed)
字海
(Here's "踰" with its definitions (bottom) and variants (right))