fix for keyboard entry of alt-symbols