Fixed a build error on the former commit.