Better spec for the default attribute