fix issue noticed by Tako in ceylon/ceylon.language#274