diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/name-message.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/name-message.rkt index 38d94f0b..f0f085cc 100644 --- a/pkgs/gui-pkgs/gui-lib/mrlib/name-message.rkt +++ b/pkgs/gui-pkgs/gui-lib/mrlib/name-message.rkt @@ -88,7 +88,7 @@ (set! paths (if (and file-name? path-name (file-exists? path-name)) - (map path->string (explode-path (normalize-path path-name))) + (map path->string (explode-path (simple-form-path path-name))) #f)) (let ([new-label (cond [(and paths (not (null? paths))) (last paths)]