I suggest we default the level attribute to "1" (its type is positiveInteger). It's just a matter of convenience to encoders and stylesheet writers and doesn't seem to cause any negative side effects for those who don't need levels. --Chris