Syntax error with the previous push