Minor fixation to previous commit.