Hi, no, double jump should not happen, it's a bug. Thank you very much for letting me know about it, it will be fixed in the next update of the game :3
Awesome! I figured that would be a pretty important detail for a platformer. I'll keep an eye out for your game!
