FSMMiner updated.