Small fix related to last commit.