add a few lines for publishing