Compilation fix after 4c0e0d5b58cbffb6ddfcbe7c69ab762cda173f70