Added HTML documentation