Minor fix to dev docs index.html