Update assertions.html