fix compilation #820