Added a missing file extension.