Define options.html if undefined