A few updates for the manual