fixed a bug in topDest