Minor typo fix ("is" -> "if") in infosec page