pushString: remove unused variables