html renderer generates index page; fixed more traversal/state resolution bugs