Fix signature of TopTag in Utils.h