added a format and nonnull attribute in the attributes header. - convert original format attribute into the one used in the header (on prints) - use new nonnull attribute on prints as well