ARD: Correct file extension