[No review required] Fix build error