Fix exercicio_pgd in protocol documentation.