Small modification due to changes in Stockfish.