silence stupid warning on push