Added @copyright@ place holder to options.html.