I suppose the same goes for `push_path`