.profile: some polishing of PS1