fix typo in Protocol080.php

Introduced in 2483e128309f31a4b8d06fc6a1899c4f926af12c

Sorry for that :-)