Change required by c900084c6d98fb; somehow I failed to add it to git before.