Minor tidy-up

really.  It's that minor.