Pardon mistake of forgotten file extension