A small bit of tidying