Using Stockfish (and one minor fix)