Fix pushNothing test

JGI changes to front end