Added comment identifying case-insensitivity

again flagged with '#krc:'