compilation fix for #1059