Minor fix due to API change for ceylon/ceylon-compiler#1121