Commented out calls to pretty-print nav tables in tests.