Trần Trọng Kim says in Việt Nam sử lược:"Có sách chép rằng Đinh Tiên-hoàng tên là Hoàn 桓, chứ không phải là Bộ Lĩnh. Bộ Lĩnh là một tước quan của Trần Lãm phong cho Đinh Hoàn. Nhưng xét trong " Khâm-định Việt-sử " và các sách khác thì thấy chép Đinh bộ Lĩnh chứ không thấy Đinh Hoàn. Vậy nay cứ theo sách Khâm-định mà chép." Translation: "According to some books, the Former Đinh Emperor's original name is Hoàn 桓, not Bộ Lĩnh, which was an official title bestowed upon him by Trần Lãm. Still, considering that "Khâm-định Việt-sử" and other books attested to only Đinh Bộ Lĩnh, not Đinh Hoàn. I'll just follow Khâm-định then.")
