Fixing couple of doc formatting things