added example concerning filename extension