Fix build error, already fixed in develop