Minor tidy of previous commit.