Previously, "Other proprietary software" suggested that the following software
is proprietary, which is wrong and contradicting the previous paragraph, and was
thus confusing.