No, that’s not a typo. See this story. I just sent a link to Michael Dell. Much love to Paul M. for the tip.