Fix doc

Overall, it's minor fixes