Fix for latest rustc

Get it building again.