fixed file extension printing