Hotfix 110714

This is my best guess based on the diffs of referenced commits.
This is also rather simple, but again I'm not quite sure whether this may have broken the tests or not. Perhaps I could try to bisect version of rust to identify, but that's mega laborious... Can anyone tell otherwise?