Fix up for rust 0.12pre
Tidy up comment