Anticipatory bugfix regarding file extensions.