Fix some non-spec things
Fix some non-spec things

lucaswerkmeister/ceylon.language,jvasileff/ceylon.language,unratito/ceylon.language,unratito/ceylon.language,ceylon/ceylon.language,lucaswerkmeister/ceylon.language,jvasileff/ceylon.language,ceylon/ceylon.language