Right...I have now successfully migrated another board, so it is likely to be something to do with the original board that I tried...
They're both 6.7.2 boards; the problematic board is smaller with 10-15 registered users and a smaller number of forums. It does have a number of categories and forums turned off; I don't know if that makes any difference.
