Slightly optimized serialization