Fix some doc problems