bugfix in file extension.