Fixes according to changes in LibiadaCore.