Typo @@, and should be `@type {HTML}`