* 5.4.4: Also restore alt characters