El problema no está en la variable... en su momento me cercioré de que esa variable no era usada por el juego; aparte, he trabajado con ella en otros scripts y no la voy a cambiar por una flag porque se me desbarata todo lo que llevo hecho, y porque usar flags es muy engorroso (acabo perdiendo la cuenta de cuáles he usado y cuáles no).

Además, eso no tiene nada que ver con el comportamiento del mini :/ pero de veras, muchas gracias por el consejo de todas formas.