patch to make saving tags case-insensitive