Big bugfix in pushFunction