HTML documentation added