Fix for rustc 20141121