Strange behavior in File Manager for ‘rename’ of a file