A few updates to the doc