Clarifying push() documentation