Update types.html