fix a flaw in original push down code