Not a great loss for the porn industry