various minor changes to ceylon.io