clean up path printing in class GlobalState