added an workaround for rust-lang/rust#16597.