Are case-sensitive comparisons OK here or would case-insensitive be safer?