Por introduzir uma enumeração explicativa, o sinal de dois-pontos na linha 5 admite a substituição por vírgula sem prejudicar a coerência textual nem desrespeitar as regras gramaticais.