Yes, this is intended. I will change the name of the file.