Minor tidy.