I don't think we can make assumptions about where the user has installed virtualenv. The old text here (assuming virtualenv is on the user's PATH) makes sense to me.