Correct mistake made in previous commit.