I'm a bit worried because the doctor originally wrote "Histac" on my friend's prescription, but the pharmacist gave them "Aciloc" instead. My friend didn't realize the difference at the time and used it without double-checking. Should we be concerned about this swap? Are Histac and Aciloc similar enough that it's okay, or should we reach out to the doctor just to be safe?