pushString: fix syntax error