Fix for ceylon/ceylon-compiler#1912