Update vector-length.html