Fix build (broken by 5a2592cebe5ec3086004b96525241d05357cc671)