It's not a double tap, it's a two-finger tap. It's a common feature for Android devices to go back or cancel something. This will both delete a symbol during naming and allow you to exit a menu.
So, you need to tap once with two fingers. Guess I'll mention it in the FAQ section later.