Agreed, that should definitely be case-insensitive.