Solución (posiblemente temporal) para #438