Fix for latest rustc.