Change push to output for disambiguation