Clarified point concerning file extensions.