[Misc] Fix a build error