Fixing the doc format on github