Fix some errors in HeaderDoc API docs.