Issue #217: wcm crashes on Alt+Symbol search