Fixed example in the serialization docs

This function doesn't exist anywhere.