Fix explicit protocol specification.