A little fix-up for publishing