Fix for usage of managed boxes

As per,

https://github.com/mozilla/rust/wiki/Doc-detailed-release-notes#09-january-2014

@ is deprecated.