Obrigado. As pessoas não costumam usar blocos de código, então é difícil adivinhar se o erro está no código delas ou se foi o tipógrafo que converteu as aspas retas.
De qualquer forma, vou verificar com meu grupo e ver se conseguimos fazê-los usar blocos de código.