changes to fix problem with simple push