A tiny bit of tidying