Fixes new Gibbon syntax