Compilation fix for 579cc3d0