Minor tidy-ups2