Fix some documentation errors