small fixes index.html