Right now, if you have a class with the @hideconstructor tag, the generated page for that class won't show the parameters to the class's constructor. However, the index.html page does show the parameters. They should be omitted even on the index.html page.