Recently the `#[something];` syntax for inner attributes was changed to `#![something]`. The tutorials still use the old syntax, however.