Tightness Subtleties for Multi-user PKE Notions