Document case-insensitivity bug.