Oops. Fix the build after the last commit. Sorry.