Partial fix to bug in index.html