case-sensitivity option.