Fix formatting of doc block on Github