Minor fix with last commit.