Little fix to the not_null class