Fixed Syntax and Possible Nil Case in Pushing