These should all have `@default` tags.