fix to work with rustc 0.12