Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes