Fix 567

@quintesse : you can merge this pull request to fix the issue #567 if you're OK. Beware that a similar pull request must be merged at the same time in ceylon-compiler.