just a glitch on VS deletion (sometimes the file is not removed on the
server)