Compilation fix for 2bb15b35c5acfdf9d5a4b3fb73537a01950a05f8