Fix one type, missed during last commit.