Refine the onscreen appearance of filename and fix buggy random/original toggle.