Fix an issue with scratch file and (shift-)F4.