re #902 - Avoid mentioning the file extension two times