* $f3->push() fix