webv4: FILE_ID.DIZ not displayed correctly.