Here’s the same patch but with the excess whitespace removed.