Fix example to not use push