rust 0.9 (see #55)