Shouldn't this be `#[doc="Foo"]`?