Code fixes for ceylon/ceylon-spec#74