Fix a bug in front-end push()

Fix a bug that prevents the rendering of front-end push into the generated js code.