Fix datatypes.html