While you are technically correct that tragedy of the commons only applies to nonexcludable-rival public goods, your pedantry has helped nobody in this comment thread learn more. There's a time for it, and most pedants fail to see when it is actually important to correct definitions.