Fix byte count in serialization of "F1000"