Tweak serialization of 'published' flag