Fix some documentation bugs