Gracias. La gente no suele pensar en usar bloques de código, por lo que es difícil saber si el error está en su código o si lo introdujo el tipógrafo al convertir las comillas rectas.
No obstante, consultaré con mi grupo y veremos si podemos lograr que utilicen bloques de código.