compilation fix for #350