fixing some issues in my HDI docs