That’s fair, but I can tell you from experience there’s no way it’s going to fall out during the lifetime of that elastic. I say this because it’s mildly annoying to extract it (which, admittedly, isn’t an issue with a dedicated pocket).