Missed modification in previous commit.