File extension fix in example