fixed a bug in PushGlobal where unique names don't work