`@package` isn't necessary — we haven't been very consistent about that.