A few cleanups in serialization_functions docs