Fix a little bug next time it is published