Minor improvements in tx pushing