Fixed a filename extension inconsistency.