Fix build warning after r142017