This could fit in a single line with `patch`.