Add missing include in tests.html.