Fixed a bug in documentaion placement in html