Fix broken build, probably a typo