re-generated for publishing