Minor cleanup: qualify case sensitivity.